E. Dansted: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - An Algebraic System of Temporal Structures

French, Tim, McCabe-Dansted, John, Reynolds, Mark

Year:

2013

Language:

english

File:

PDF, 392 KB

english, 2013

2

trans-Pinocarveol from New Zealand turpentine

Coxon, James M., Dansted, Erik, Hartshorn, Michael P.

Journal:

Journal of Chemical & Engineering Data

Year:

1970

Language:

english

File:

PDF, 97 KB

english, 1970

3

A complete axiomatization of a temporal logic with obligation and robustness

French, T., McCabe-Dansted, J. C., Reynolds, M.

Journal:

Journal of Logic and Computation

Year:

2014

Language:

english

File:

PDF, 325 KB

english, 2014

4

The synthesis of some 2,10-epoxypinanes

J.M. Coxon, E. Dansted, M.P. Hartshorn, K.E. Richards

Journal:

Year:

1968

Language:

english

File:

PDF, 341 KB

english, 1968

5

Some rearrangements of 2,3- and 2,10-oxygenated pinane derivatives

J.M. Coxon, E. Dansted, M.P. Hartshorn, K.E. Richards

Journal:

Year:

1969

Language:

english

File:

PDF, 390 KB

english, 1969

6

The base-catalysed rearrangement of 2,10-epoxy-10β-pinan-3-ols

J.M. Coxon, E. Dansted, R.P. Garland, M.P. Hartshorn, W.B. Joss

Journal:

Year:

1971

Language:

english

File:

PDF, 152 KB

english, 1971

7

NMR spectra of some 2-oxygenated pinanes

J.M. Coxon, E. Dansted, M.P. Hartshorn, K.E. Richards

Journal:

Tetrahedron Letters

Year:

1969

Language:

english

File:

PDF, 93 KB

english, 1969

8

Approximability of Dodgson’s rule

John C. McCabe-Dansted, Geoffrey Pritchard, Arkadii Slinko

Journal:

Social Choice and Welfare

Year:

2008

Language:

english

File:

PDF, 284 KB

english, 2008

9

Exploratory Analysis of Similarities Between Social Choice Rules

John C. McCabe-Dansted, Arkadii Slinko

Journal:

Group Decision and Negotiation

Year:

2006

Language:

english

File:

PDF, 584 KB

english, 2006

10

A Rooted Tableau for BCTL*

John Christopher McCabe-Dansted

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 299 KB

english, 2011

11

Reaction of epoxides: a novel base-catalysed rearrangement of hydroxy-epoxides

Coxon, J. M., Dansted, E., Hartshorn, M. P., Richards, K. E.

Journal:

Chemical Communications (London)

Year:

1968

Language:

english

File:

PDF, 69 KB

english, 1968

12

Approximability of Dodgson's rule

John McCabe-Dansted, Geoffrey Pritchard and Arkadii Slinko

Journal:

Social Choice and Welfare

Year:

2008

Language:

english

File:

PDF, 1.33 MB

english, 2008

13

The stereochemistry of a cyclic sulphite of 10?-pinane-2,3?-diol

Brice, M. D., Coxon, J. M., Dansted, E., Hartshorn, M. P., Robinson, Ward T.

Journal:

Journal of the Chemical Society D Chemical Communications

Year:

1969

Language:

english

File:

PDF, 118 KB

english, 1969

14

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - A Tableau for the Combination of CTL and BCTL

McCabe-Dansted, John C.

Year:

2012

Language:

english

File:

PDF, 213 KB

english, 2012

15

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - CTL-Like Fragments of a Temporal Logic of Robustness

McCabe-Dansted, John C., Dixon, Clare

Year:

2010

Language:

english

File:

PDF, 291 KB

english, 2010

16

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - On the Expressivity of RoCTL*

McCabe-Dansted, John Christopher, French, Tim, Reynolds, Mark, Pinchinat, Sophie

Year:

2009

Language:

english

File:

PDF, 326 KB

english, 2009

17

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Verification of Rewrite Rules for Computation Tree Logics

McCabe-Dansted, John Christopher, Reynolds, Mark

Year:

2014

Language:

english

File:

PDF, 289 KB

english, 2014

18

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - Complexity of Model Checking over General Linear Time

French, Tim, McCabe-Dansted, John, Reynolds, Mark

Year:

2013

Language:

english

File:

PDF, 407 KB

english, 2013

19

[IEEE 2014 21st International Symposium on Temporal Representation and Reasoning (TIME) - Verona, Italy (2014.9.8-2014.9.10)] 2014 21st International Symposium on Temporal Representation and Reasoning - Fairness with EXPTIME Bundled CTL Tableau

McCabe-Dansted, John Christopher, Reynolds, Mark

Year:

2014

Language:

english

File:

PDF, 303 KB

english, 2014

20

Synthesis for continuous time

French, Tim, McCabe-Dansted, John, Reynolds, Mark

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 691 KB

english, 2015

21

Expressiveness and succinctness of a logic of robustness

McCabe-Dansted, John C., French, Tim, Pinchinat, Sophie, Reynolds, Mark

Journal:

Journal of Applied Non-Classical Logics

Year:

2015

Language:

english

File:

PDF, 755 KB

english, 2015

22

Experiments Directed Towards the Synthesis of Anthracyclinones. XXVI. The Preparation of Chiral Intermediates for Anthracyclinone Synthesis

Beauregard, DA, Cambie, RC, Dansted, PC, Rutledge, PS, Woodgate, PD

Journal:

Australian Journal of Chemistry

Year:

1995

Language:

english

File:

PDF, 393 KB

english, 1995

23

Rewrite rules for CTL*

McCabe-Dansted, John C., Reynolds, Mark

Journal:

Journal of Applied Logic

Year:

2017

Language:

english

File:

PDF, 571 KB

english, 2017

24

[IEEE 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Kongens Lyngby, Denmark (2016.10.17-2016.10.19)] 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) - Modelling Systems over General Linear Time

McCabe-Dansted, John, Reynolds, Mark, French, Tim

Year:

2016

Language:

english

File:

PDF, 246 KB

english, 2016

25

To be fair, use bundles

John McCabe-Dansted,Mark Reynolds

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2017

Language:

english

File:

PDF, 1012 KB

english, 2017

26

Asymmetric equilibria in spatial competition under weakly concave scoring rules

Cahan, Dodge, McCabe-Dansted, John, Slinko, Arkadii

Journal:

Economics Letters

Year:

2018

Language:

english

File:

PDF, 310 KB

english, 2018

27

Sublogics of a branching time logic of robustness

McCabe-Dansted, John, Dixon, Clare, French, Tim, Reynolds, Mark

Journal:

Information and Computation

Year:

2019

File:

PDF, 924 KB

2019